FOURNET, CÉDRIC: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Applied Pi Calculus

Abadi, Martín, Blanchet, Bruno, Fournet, Cédric

Journal:

Journal of the ACM

Year:

2017

Language:

english

File:

PDF, 798 KB

english, 2017

2

Just fast keying in the pi calculus

Abadi, Martín, Blanchet, Bruno, Fournet, Cédric

Journal:

ACM Transactions on Information and System Security

Year:

2007

Language:

english

File:

PDF, 718 KB

english, 2007

3

Safe & Efficient Gradual Typing for TypeScript

Rastogi, Aseem, Swamy, Nikhil, Fournet, Cédric, Bierman, Gavin, Vekris, Panagiotis

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

4

Verified low-level programming embedded in F*

Protzenko, Jonathan, Fournet, Cédric, Swamy, Nikhil, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hriţcu, Cătălin,

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 452 KB

english, 2017

5

A semantics for web services authentication

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 498 KB

english, 2005

6

Bisimulations in the join-calculus

Cédric Fournet, Cosimo Laneve

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 249 KB

english, 2001

7

Secure Implementation of Channel Abstractions (Abstract)

Martín Abadi, Cédric Fournet, Georges Gonthier

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 153 KB

english, 1998

8

Private authentication

Martı́n Abadi, Cédric Fournet

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 513 KB

english, 2004

9

Secure Implementation of Channel Abstractions

Martı́n Abadi, Cédric Fournet, Georges Gonthier

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 340 KB

english, 2002

10

A hierarchy of equivalences for asynchronous calculi

Cédric Fournet, Georges Gonthier

Journal:

The Journal of Logic and Algebraic Programming

Year:

2005

Language:

english

File:

PDF, 712 KB

english, 2005

11

Automated verification of selected equivalences for security protocols

Bruno Blanchet, Martín Abadi, Cédric Fournet

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 677 KB

english, 2008

12

Inheritance in the join calculus

Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy

Journal:

The Journal of Logic and Algebraic Programming

Year:

2003

Language:

english

File:

PDF, 578 KB

english, 2003

13

[ACM Press the 2005 workshop - Fairfax, VA, USA (2005.11.11-2005.11.11)] Proceedings of the 2005 workshop on Secure web services - SWS '05 - An advisor for web services security policies

Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D., O'Shea, Greg

Year:

2005

Language:

english

File:

PDF, 307 KB

english, 2005

14

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

Bhargavan, Karthikeyan, Corin, Ricardo, Deniélou, Pierre-Malo, Fournet, Cédric, Leifer, James J.

Year:

2009

Language:

english

File:

PDF, 513 KB

english, 2009

15

[ACM Press the First ACM workshop - Berlin, Germany (2013.11.04-2013.11.04)] Proceedings of the First ACM workshop on Language support for privacy-enhancing technologies - PETShop '13 - Pinocchio coin

Danezis, George, Fournet, Cedric, Kohlweiss, Markulf, Parno, Bryan

Year:

2013

Language:

english

File:

PDF, 455 KB

english, 2013

16

[IEEE 2008 21st IEEE Computer Security Foundations Symposium - Pittsburgh, PA, USA (2008.06.23-2008.06.25)] 2008 21st IEEE Computer Security Foundations Symposium - Refinement Types for Secure Implementations

Bengtson, Jesper, Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D., Maffeis, Sergio

Year:

2008

Language:

english

File:

PDF, 445 KB

english, 2008

17

[IEEE 20th IEEE Computer Security Foundations Symposium (CSF'07) - Venice, Italy (2007.07.6-2007.07.8)] 20th IEEE Computer Security Foundations Symposium (CSF'07) - Design and Semantics of a Decentralized Authorization Language

Becker, Moritz, Fournet, Cedric, Gordon, Andrew

Year:

2007

Language:

english

File:

PDF, 242 KB

english, 2007

18

[IEEE 20th IEEE Computer Security Foundations Symposium (CSF'07) - Venice, Italy (2007.07.6-2007.07.8)] 20th IEEE Computer Security Foundations Symposium (CSF'07) - A Type Discipline for Authorization in Distributed Systems

Fournet, Cedric, Gordon, Andrew, Maffeis, Sergio

Year:

2007

Language:

english

File:

PDF, 232 KB

english, 2007

19

[IEEE 20th IEEE Computer Security Foundations Symposium (CSF'07) - Venice, Italy (2007.07.6-2007.07.8)] 20th IEEE Computer Security Foundations Symposium (CSF'07) - Secure Implementations for Typed Session Abstractions

Corin, Ricardo, Denielou, Pierre-Malo, Fournet, Cedric, Bhargavan, Karthikeyan, Leifer, James

Year:

2007

Language:

english

File:

PDF, 645 KB

english, 2007

20

Mobile values, new names, and secure communication

Abadi, Martín, Fournet, Cédric

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 250 KB

english, 2001

21

[IEEE 2014 IEEE Symposium on Security and Privacy (SP) - San Jose, CA (2014.5.18-2014.5.21)] 2014 IEEE Symposium on Security and Privacy - Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS

Bhargavan, Karthikeyan, Lavaud, Antoine Delignat, Fournet, Cedric, Pironti, Alfredo, Strub, Pierre Yves

Year:

2014

Language:

english

File:

PDF, 1.81 MB

english, 2014

22

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Modular verification of security protocol code by typing

Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D.

Year:

2010

Language:

english

File:

PDF, 693 KB

english, 2010

23

[Lecture Notes in Computer Science] Trustworthy Global Computing Volume 4912 ||

Barthe, Gilles, Fournet, Cédric

Year:

2008

Language:

english

File:

PDF, 7.25 MB

english, 2008

24

Secure distributed programming with value-dependent types

SWAMY, NIKHIL, CHEN, JUAN, FOURNET, CÉDRIC, STRUB, PIERRE-YVES, BHARGAVAN, KARTHIKEYAN, YANG, JEAN

Journal:

Journal of Functional Programming

Year:

2013

Language:

english

File:

PDF, 1.74 MB

english, 2013

25

[ACM Press the 18th ACM conference - Chicago, Illinois, USA (2011.10.17-2011.10.21)] Proceedings of the 18th ACM conference on Computer and communications security - CCS '11 - Modular code-based cryptographic verification

Fournet, Cédric, Kohlweiss, Markulf, Strub, Pierre-Yves

Year:

2011

Language:

english

File:

PDF, 514 KB

english, 2011

26

[ACM Press the first ACM workshop - Berlin, Germany (2013.11.08-2013.11.08)] Proceedings of the first ACM workshop on Smart energy grid security - SEGS '13 - Smart meter aggregation via secret-sharing

Danezis, George, Fournet, Cédric, Kohlweiss, Markulf, Zanella-Béguelin, Santiago

Year:

2013

Language:

english

File:

PDF, 549 KB

english, 2013

27

Refinement types for secure implementations

Bengtson, Jesper, Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D., Maffeis, Sergio

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 356 KB

english, 2011

28

A type discipline for authorization policies

Fournet, Cédric, Gordon, Andrew D., Maffeis, Sergio

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 260 KB

english, 2007

29

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Secure distributed programming with value-dependent types

Swamy, Nikhil, Chen, Juan, Fournet, Cédric, Strub, Pierre-Yves, Bhargavan, Karthikeyan, Yang, Jean

Year:

2011

Language:

english

File:

PDF, 619 KB

english, 2011

30

[ACM Press the 2008 ACM symposium - Tokyo, Japan (2008.03.18-2008.03.20)] Proceedings of the 2008 ACM symposium on Information, computer and communications security - ASIACCS '08 - Verified implementations of the information card federated identity-management protocol

Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D., Swamy, Nikhil

Year:

2008

Language:

english

File:

PDF, 1.69 MB

english, 2008

31

Secure sessions for Web services

Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D., Corin, Ricardo

Journal:

ACM Transactions on Information and System Security

Year:

2007

Language:

english

File:

PDF, 566 KB

english, 2007

32

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Cryptographically sound implementations for typed information-flow security

Fournet, Cédric, Rezk, Tamara

Year:

2008

Language:

english

File:

PDF, 294 KB

english, 2008

33

A semantics for web services authentication

Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D.

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 229 KB

english, 2004

34

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Probabilistic relational verification for cryptographic implementations

Barthe, Gilles, Fournet, Cédric, Grégoire, Benjamin, Strub, Pierre-Yves, Swamy, Nikhil, Zanella-Béguelin, Santiago

Year:

2014

Language:

english

File:

PDF, 719 KB

english, 2014

35

[ACM Press the 2004 workshop - Fairfax, Virginia (2004.10.29-2004.10.29)] Proceedings of the 2004 workshop on Secure web service - SWS '04 - Secure sessions for web services

Bhargavan, Karthikeyan, Corin, Ricardo, Fournet, Cédric, Gordon, Andrew D.

Year:

2004

Language:

english

File:

PDF, 343 KB

english, 2004

36

[ACM Press the 16th ACM conference - Chicago, Illinois, USA (2009.11.09-2009.11.13)] Proceedings of the 16th ACM conference on Computer and communications security - CCS '09 - A security-preserving compiler for distributed programs

Fournet, Cédric, Le Guernic, Gurvan, Rezk, Tamara

Year:

2009

Language:

english

File:

PDF, 648 KB

english, 2009

37

[ACM Press the 18th ACM conference - Chicago, Illinois, USA (2011.10.17-2011.10.21)] Proceedings of the 18th ACM conference on Computer and communications security - CCS '11 - Information-flow types for homomorphic encryptions

Fournet, Cédric, Planul, Jérémy, Rezk, Tamara

Year:

2011

Language:

english

File:

PDF, 613 KB

english, 2011

38

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Self-certification

Strub, Pierre-Yves, Swamy, Nikhil, Fournet, Cedric, Chen, Juan

Year:

2012

Language:

english

File:

PDF, 818 KB

english, 2012

39

Verified Cryptographic Implementations for TLS

Bhargavan, Karthikeyan, Fournet, Cédric, Corin, Ricardo, Zălinescu, Eugen

Journal:

ACM Transactions on Information and System Security

Year:

2012

Language:

english

File:

PDF, 982 KB

english, 2012

40

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Fully abstract compilation to JavaScript

Fournet, Cedric, Swamy, Nikhil, Chen, Juan, Dagand, Pierre-Evariste, Strub, Pierre-Yves, Livshits, Benjamin

Year:

2013

Language:

english

File:

PDF, 534 KB

english, 2013

41

[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - Stack inspection

Fournet, Cédric, Gordon, Andrew D.

Year:

2002

Language:

english

File:

PDF, 311 KB

english, 2002

42

Stack inspection

Fournet, Cédric, Gordon, Andrew D.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2003

Language:

english

File:

PDF, 349 KB

english, 2003

43

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - A semantics for web services authentication

Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D.

Year:

2004

Language:

english

File:

PDF, 229 KB

english, 2004

44

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Safe & Efficient Gradual Typing for TypeScript

Rastogi, Aseem, Swamy, Nikhil, Fournet, Cédric, Bierman, Gavin, Vekris, Panagiotis

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

45

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - The reflexive CHAM and the join-calculus

Fournet, Cédric, Gonthier, Georges

Year:

1996

Language:

english

File:

PDF, 1.47 MB

english, 1996

46

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Gradual typing embedded securely in JavaScript

Swamy, Nikhil, Fournet, Cedric, Rastogi, Aseem, Bhargavan, Karthikeyan, Chen, Juan, Strub, Pierre-Yves, Bierman, Gavin

Year:

2014

Language:

english

File:

PDF, 630 KB

english, 2014

47

[ACM Press the 28th ACM SIGPLAN-SIGACT symposium - London, United Kingdom (2001..-..)] Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 - Mobile values, new names, and secure communication

Abadi, Martín, Fournet, Cédric

Year:

2001

Language:

english

File:

PDF, 250 KB

english, 2001

48

Verified interoperable implementations of security protocols

Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D., Tse, Stephen

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 1.48 MB

english, 2008

49

[IEEE 2015 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2015.5.17-2015.5.21)] 2015 IEEE Symposium on Security and Privacy - Geppetto: Versatile Verifiable Computation

Costello, Craig, Fournet, Cedric, Howell, Jon, Kohlweiss, Markulf, Kreuter, Benjamin, Naehrig, Michael, Parno, Bryan, Zahur, Samee

Year:

2015

Language:

english

File:

PDF, 446 KB

english, 2015

50

[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - Observing and Preventing Leakage in MapReduce

Ohrimenko, Olga, Costa, Manuel, Fournet, Cédric, Gkantsidis, Christos, Kohlweiss, Markulf, Sharma, Divya

Year:

2015

Language:

english

File:

PDF, 1.20 MB

english, 2015